/**
 * 
 */
package controller.xml;

/**
 * Status of a {@link StatXMLHandler}.
 * 
 * @author GRONOWSKI Stephane svan001@aol.com
 * 
 *         igsat 2010
 * 
 */
public enum StatXMLStatus {
	NONE, VAR, CLAUSE, LITERAL, UNIT_CLAUSE, BINARY_CLAUSE, AVERAGE;
}
